Daniel Leivant And NotÉtats-Unis
List of bibliographic references
Number of relevant bibliographic references: 4.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 004440 | Daniel Leivant ; Ruy J. G. B. De Queroz | 14th Workshop on Logic, Language, Information and Computation (WoLLIC 2007) |
| 009A18 | Daniel Leivant ; Jean-Yves Marion | Ramified Recurrence and Computational Complexity IV : Predicative Functionals and Poly-Space |
| 009A49 | Daniel Leivant ; Jean-Yves Marion | A characterization of alternating log time by ramified recurrence |
| 00BA50 | Daniel Leivant ; Jean-Yves Marion | Predicative Functional Recurrence and Poly-Space |
| This area was generated with Dilib version V0.6.33. |  |